- programa de verificación
- тест-программа
El diccionario Español-ruso económico. 2013.
programa de verificación
Смотреть что такое "programa de verificación" в других словарях:
Verificación formal — La verificación formal es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica), en el que partiendo de un conjunto axiomático, reglas de inferencia y… … Wikipedia Español
Contaminación vehicular en México — Este artículo o sección sobre medio ambiente y transporte necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 5 de mayo … Wikipedia Español
Base de datos de tablas de finales — Saltar a navegación, búsqueda Una interfaz típica para solicitar una base de datos de tablas. Para cada movimiento del Blanco, la base de datos devuelve el número de movimientos necesarios para ganar. Rc6 y Da6+ gana en cinco movimientos, por lo… … Wikipedia Español
XML Schema — es un lenguaje de esquema utilizado para describir la estructura y las restricciones de los contenidos de los documentos XML de una forma muy precisa, más allá de las normas sintácticas impuestas por el propio lenguaje XML. Se consigue así una… … Wikipedia Español
IMVU — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al autor principa … Wikipedia Español
MMIC — Archivo:MMIC antenna.jpg MMIC antena. Los circuitos MMI o MMIC (Monolithic Microwave Integrated Circuits) son un tipo de circuitos integrados que operan en frecuencias de microondas, es decir, entre 300 MHz y 300 GHz. La técnica de fabricación de … Wikipedia Español
VHDL — es el acrónimo que representa la combinación de VHSIC y HDL, donde VHSIC es el acrónimo de Very High Speed Integrated Circuit y HDL es a su vez el acrónimo de Hardware Description Language. Es un lenguaje definido por el IEEE (Institute of… … Wikipedia Español
Check Wikipedia — Wikiproyecto:Check Wikipedia Saltar a navegación, búsqueda Esta página contiene de forma consciente fallos ortográficos. Los bots no deben intentar corregirlos. Atajo PR:CWPR:CW … Wikipedia Español
Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… … Wikipedia Español
Proyecto de investigación — Saltar a navegación, búsqueda El proyecto de investigación es un procedimiento científico que usa al método científico para recabar todo tipo de información y formular hipótesis acerca de cierto fenómeno social o científico, empleando las… … Wikipedia Español
Autenticación — Autenticación[1] o autentificación[2] es el acto de establecimiento o confirmación de algo (o alguien) como auténtico, es decir que reclama hecho por, o sobre la cosa son verdadero. La autenticación de un objeto puede significar (pensar) la… … Wikipedia Español
